Theorems on Automorphism